Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Taint Config Serialization #20

Closed
wants to merge 27 commits into from
Closed

Taint Config Serialization #20

wants to merge 27 commits into from

Conversation

fabianbs96
Copy link
Owner

Several headers of PhASAR #include nlohmann/json which leads consumers of phasar to integrate nlohmann/json into their codebases as well.

To fix this, we introduce an intermediate layer (for now just for the TaintConfig) that represents the same json data but hides the implementation details

@fabianbs96 fabianbs96 marked this pull request as draft July 31, 2023 15:53
fabianbs96
fabianbs96 commented Jul 31, 2023
View reviewed changes
include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h Outdated Show resolved Hide resolved
include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h Outdated Show resolved Hide resolved
lib/Controller/AnalysisController.cpp Outdated Show resolved Hide resolved
lib/Controller/AnalysisController.cpp Outdated Show resolved Hide resolved
lib/PhasarLLVM/TaintConfig/LLVMTaintConfig.cpp Outdated Show resolved Hide resolved
lib/PhasarLLVM/TaintConfig/LLVMTaintConfig.cpp Outdated Show resolved Hide resolved
unittests/PhasarLLVM/DataFlow/Mono/InterMonoTaintAnalysisTest.cpp Outdated Show resolved Hide resolved
@fabianbs96 fabianbs96 force-pushed the f-TaintConfigSerialization branch from 784dcdd to 4ed0efd Compare August 6, 2023 14:44
fabianbs96
fabianbs96 commented Aug 6, 2023
View reviewed changes
include/phasar/PhasarLLVM/TaintConfig/TaintConfigBase.h Outdated Show resolved Hide resolved
lib/PhasarLLVM/TaintConfig/TaintConfigData.cpp Outdated Show resolved Hide resolved
lib/PhasarLLVM/TaintConfig/TaintConfigData.cpp Outdated Show resolved Hide resolved
lib/PhasarLLVM/TaintConfig/TaintConfigData.cpp Outdated Show resolved Hide resolved
include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h Outdated Show resolved Hide resolved
include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h Outdated Show resolved Hide resolved
include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h Outdated Show resolved Hide resolved
lib/PhasarLLVM/TaintConfig/TaintConfigData.cpp Outdated Show resolved Hide resolved
fabianbs96
fabianbs96 commented Aug 25, 2023
View reviewed changes
include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEExtendedTaintAnalysis.h Outdated Show resolved Hide resolved
lib/PhasarLLVM/TaintConfig/LLVMTaintConfig.cpp Outdated Show resolved Hide resolved
lib/PhasarLLVM/TaintConfig/LLVMTaintConfig.cpp Outdated Show resolved Hide resolved
lib/PhasarLLVM/TaintConfig/TaintConfigBase.cpp Outdated Show resolved Hide resolved
include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h Outdated Show resolved Hide resolved
include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h Outdated Show resolved Hide resolved
include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h Outdated Show resolved Hide resolved
lib/PhasarLLVM/TaintConfig/TaintConfigData.cpp Outdated Show resolved Hide resolved
tools/example-tool/myphasartool.cpp Outdated Show resolved Hide resolved
unittests/PhasarLLVM/DataFlow/Mono/InterMonoTaintAnalysisTest.cpp Outdated Show resolved Hide resolved
@fabianbs96 fabianbs96 marked this pull request as ready for review September 21, 2023 17:14
@fabianbs96
Copy link
Owner Author

Closed in favor of secure-software-engineering#672

@fabianbs96 fabianbs96 closed this Oct 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@mxHuber mxHuber

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@fabianbs96 @mxHuber